문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 프로그래밍 언어/예제 (문단 편집) === [[Idris2]] === {{{#!syntax typescript Interpolation Int where interpolate = show times : Int -> Int -> String times x y = "\{x} * \{y} = \{x * y}" main : IO () main = traverse_ putStrLn [times x y | x <- [2..9], y <- [1..9]] }}} 표 형식으로 출력하려면: {{{#!syntax typescript import Data.String Interpolation Int where interpolate = show pad2 : (Show a) => a -> String pad2 x = padLeft 2 ' ' (show x) times : Int -> Int -> String times x y = "\{x} * \{y} = \{pad2 (x * y)}" timesRow : Int -> String timesRow y = joinBy " | " [times x y | x <- [2..9]] main : IO () main = traverse_ putStrLn [timesRow y | y <- [1..9]] }}}저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기